class APP
convert
    args : { STRING }
feature
    INIT(a : ARRAY[STRING]) 
    do
    end
    
    args(s : STRING) : STRING
    do
    end
end